-
1 формализация
1) General subject: formalisation, formalization2) Mathematics: characterization, formal characterization3) Law: perfection4) EBRD: institutionalisation -
2 формальное определение
Mathematics: formal characterization, formal definitionУниверсальный русско-английский словарь > формальное определение
-
3 давать
(= дать, обеспечивать, см. также даваться) give, produce, yield, furnish, contribute, offer, afford, give rise to, result in, provide, lead to• В данный момент невозможно дать... - It is not possible at this time to give...• В следующей главе мы дадим количественное представление... - In the next chapter we give a more quantitative account of...• В этом параграфе мы даем краткое введение в... - In this section we give a brief introduction to...• Все вероятности, сложенные вместе, в сумме должны дать единицу. - All the probabilities taken together must add up to 1.• Вышеупомянутые теоремы дают нам... - The foregoing theorems give us...• Давайте рассмотрим детально... - Let us look in detail at...• Дадим этому формальное доказательство. - The formal proof is as follows.• Данная классификация почти ничего не дает нам относительно... - This classification tells us very little about...• Значение наших методов состоит в том, что они дадут... - The significance of our methods is that they will yield...• Метод дал улучшение результатов (= улучшенные результаты). - The method gave improved results.• Мы дадим несколько эквивалентных формулировок (чего-л). - We will give some equivalent formulations of...• Мы можем дать альтернативное определение... - It is possible to give an alternative definition of...• Мы можем дать простое доказательство этой теоремы следующим образом. - We can give a simple proof of this theorem as follows.• Особое рассмотрение должно быть дано (= Необходимо особо рассмотреть)... - Special consideration must be given to...• Перед тем как продолжить (обсуждение), мы прервемся, чтобы дать... - Before going further we pause to give...• Повторное применение соотношения (1) дает соотношение (2). - Repeated application of (1) gives (2).• Подстановка этих значений дает нам... - Substituting these values gives us...• Пусть дан... - Given...; Let there be given...• Пусть дано значение xq. - Suppose xq is given,• Следующая теорема дает (= описывает) условия, при которых... - The following theorem gives conditions under which...• Тем не менее, развитые нами методы дают основание для... - However, the methods we have developed provide a basis for...• Теперь мы дадим краткое заключение (о)... - We now give a brief account of...• Чтобы ответить на этот вопрос, давайте... - То answer this question, let us...• Чтобы показать, что это невозможно, давайте... - То show that this is not possible, let...• Чтобы установить соотношение (1), давайте... - То establish (1), let us...• Эта книга дает современное описание... - This book provides an up-to-date description of...• Это дает основание ожидать, что... - This causes us to anticipate that...• Это дает основание полагать, что... - This suggests that...• Это даст нам необходимую характеристику (чего-л). - This will give us the required characterization of...• Это уже дает некоторую информацию относительно... - This already gives some information about...• Этот метод дает хорошие результаты только если... - The method works well only if...• Этот результат дает более точное необходимое условие для... - This provides a sharper necessary condition for...• Этот случай дает прекрасный пример (чего-л). - This case provides an excellent example of... -
4 приводить
reduce, reduce to, bring, cite, deduce, list, adduce, enter• Были приведены дальнейшие аргументы, показавшие, что... - Further arguments were given which showed that...• Было бы легко привести значительно больше примеров... - It would be easy to give many more examples of...• В основном, различные подходы приводят к... - Different approaches will, in general, lead to...• В свою очередь это может привести к тому, что... - This in turn can lead to...• В таблице 1 мы приводим вместе все данные относительно... - In Table 1 we summarize the...• В этом приложении мы приводим результаты... - In this appendix we present the results of...• Все эти данные приводили к очевидному требованию, что... - All this evidence led to a clear requirement that...• Дальнейшее рассуждение затем привело бы к идее... - Further argument would then lead to the idea of...• Данная процедура может быть продолжена, она приводит к... - The procedure can be continued, yielding...• Здесь мы приводим другой пример (чего-л). - We give here another example of...• Здесь мы приводим некоторые формулы для... - Неге we give some formulae for...• Исследование каждого случая отдельно приводит к... - Examination of each individual case leads to...• Можно привести еще одно замечание. - One further observation may be made.• Мы можем привести геометрическую интерпретацию для... -It is possible to give a geometric interpretation of...• Мы не можем привести здесь полный ответ. - We cannot give a complete answer here.• Мы не приводим это рассуждение со всеми подробностями по следующим причинам. - We do not present this argument in detail for the following reasons.• Мы приводим ниже значения для... - We quote below the values of...• Мы теперь приведем приложение уравнения (5). - We now give an application of (5).• Это привело нас к предложению, что... - We are led to the suggestion that...• Наши рассуждения в предыдущем параграфе могли бы привести нас к предположению, что... - Our work in the previous section might lead us to suspect that...• Однако здесь можно привести очень грубый довод. - A very rough reason, however, can be given here.• Описанный здесь метод всегда приводит... - The procedure described here always yields...• Перед тем как продолжить приводить примеры, мы приведем важное замечание, что... - Before proceeding to give examples, we make the important observation that...• Подобные повреждения могут привести к потере... - Such injuries can result in a loss of...• Понятно, что только один этот процесс не мог бы привести к... - Clearly such a process alone could not lead to...• Предыдущее обсуждение приводит к идее, что... - The preceding discussion leads to the idea that...• Приведем более полное доказательство, данное Гильбертом [2]. - A fuller proof, given by Hilbert [2], is as follows.• Приведем исключения, которые указывает Смит [1]. - Smith [1] points out certain exceptions as follows.• Приведем некоторый основной критерий для... - Let us list some major criteria for...• Приведем соответствующие численные величины:... - The corresponding numerical values are as follows:...• Приведем теперь пример, в котором... - We now give an example in which...• Процесс приводит к замене в... - The process leads to a change in...• Следовательно, мы обязаны попытаться развить теорию, которая приводит к... - Hence, we must try to develop a theory that leads to...• Смит [1] приводит убедительный пример существования... - Smith [l] makes a persuasive case for the existence of...• Сначала мы приведем некоторый дополнительный материал относительно... - We begin with some additional material relating to...• Сначала мы приведем один результат из... - We first quote a result from...• Такая практика приводит к серьезным недоразумениям. - This practice leads to serious confusion.• Тем не менее эта формальная работа привела к конкретному результату. - Nevertheless, this formal work has produced a concrete result. I• Тем самым нас довольно настойчиво приводит к идее, что... - This suggests quite strongly that...• Теперь мы приведем некоторые экспериментальные данные относительно... - We shall now give some experimental data concerning...• Теперь мы приведем список наиболее важных тождеств, включающих... - We shall now list the most important identities involving...• Теперь мы приведем явную характеристику... - We now give an explicit characterization of...• Теперь приведем несколько конкретных примеров. - A few concrete examples are in order.• Чтобы привести еще более простой пример, мы можем рассмотреть... - То take an even simpler example, we can consider...• Элегантное доказательство, которое мы здесь приводим, в основном принадлежит Гильберту. - The elegant proof we give is essentially due to Hilbert.• Эти кажущиеся тривиальными результаты приводят к... - These seemingly trivial results lead to...• Эти результаты мы приводим в таблице 1 для трех значений г. - The results are set out in Table 1 for three values of r.• Это выражение можно привести к более удобному виду. - This expression can be put in a more convenient form.• Это доказательство слишком сложное, чтобы приводить его здесь. - The proof is too complicated to give here.• Это естественным образом приводило к различным схемам для... - It led naturally to various schemes for...• Это заключение базируется на тех же самых идеях, которые приводят к... - This conclusion is based on the same ideas that lead to...• Это могло бы также привести к лучшему пониманию... - This could also lead to a better understanding of...• Это не приведет к ошибке, потому что... - This will not give rise to confusion because...• Это не приводит ни к каким концептуальным трудностям, однако... - This introduces no conceptual difficulties, but...• Это нестрогое рассуждение приводит нас к... - This crude argument leads to...• Это позволяет нам привести уравнение (1) к следующему виду... - This enables us to reduce (1) to the form...• Это привело нескольких авторов к заключению, что... - This has led several authors to believe that...• Это приводит к возникновению так называемого... - This gives rise to the so-called...• Это приводит к возрастанию... - This involves an increase in...• Это приводит к выводу, что... - This carries the implication that...• Это приводит к концепции... - This leads to a conception in which...• Это приводит к новым концепциям. - This leads to new conceptions.• Это приводит к полезным методам обращения с... - This leads to useful ways of dealing with...• Это приводит к противоречию, и, следовательно, доказательство закончено. - This gives a contradiction, and the proof is complete.• Это приводит к рассмотрению темы... - This leads into the topic of...• Это приводит к следующему определению. - This motivates the following definition.• Это приводит к тому, что известно как... - This leads to what is known as...• Это приводит нас к важному свойству... - This leads us to an important property of...• Это приводит нас к идее постулировать существование... - This leads us to postulate the existence of...• Этот результат автоматически приводит к необходимости изучения... - This result automatically leads to a study of...
См. также в других словарях:
Formal language — A formal language is a set of words , i.e. finite strings of letters , or symbols . The inventory from which these letters are taken is called the alphabet over which the language is defined. A formal language is often defined by means of a… … Wikipedia
Propositional representation — Articleissues unreferenced = March 2008 technical = March 2008 introrewrite = March 2008Propositional representation is symbolic description.Other AttributesPropositional representations are also:*Language like only in the sense that they… … Wikipedia
Web template system — A Web template system describes the software and methodologies used to produce web pages and for deployment on websites and delivery over the internet. Such systems process web templates, using a template engine. It is a web publishing tool… … Wikipedia
Frege, Gottlob — ▪ German mathematician and philosopher Introduction born November 8, 1848, Wismar, Mecklenburg Schwerin died July 26, 1925, Bad Kleinen, Germany German mathematician and logician (logic, history of), who founded modern mathematical logic (formal … Universalium
Vehicle size class — Vehicle size classes are a way of classifying cars. The common North American parlance is word based, while English speaking European writers also use words to describe car sizes. In parts of Asia, segment letters are sometimes used.North… … Wikipedia
Effective method — An effective method (also called an effective procedure) for a class of problems is a method for which each step in the method may be described as a mechanical operation and which, if followed rigorously, and as far as may be necessary, is bound… … Wikipedia
Algorithm characterizations — The word algorithm does not have a generally accepted definition. Researchers are actively working in formalizing this term. This article will present some of the characterizations of the notion of algorithm in more detail. This article is a… … Wikipedia
Aristotle’s logic and metaphysics — Alan Code PART 1: LOGICAL WORKS OVERVIEW OF ARISTOTLE’S LOGIC The Aristotelian logical works are referred to collectively using the Greek term ‘Organon’. This is a reflection of the idea that logic is a tool or instrument of, though not… … History of philosophy
Complex number — A complex number can be visually represented as a pair of numbers forming a vector on a diagram called an Argand diagram, representing the complex plane. Re is the real axis, Im is the imaginary axis, and i is the square root of –1. A complex… … Wikipedia
HEBREW LITERATURE, MODERN — definition and scope beginnings periodization … Encyclopedia of Judaism
French literature — Introduction the body of written works in the French language produced within the geographic and political boundaries of France. The French language was one of the five major Romance languages to develop from Vulgar Latin as a result of the … Universalium
